;---------------------- Integer variable list ----------------------

; var(0):= -3, 9997, 112233, 515000
; var(1):= -2, -3, 7777
; var(2):= -2, -3, 810
; var(3):= 194
; var(9):= 5300
;var(10):= 5300, 9997, 515000
;var(11):= 9997, 515000
;var(12):= 9997, 515000
;var(15):= 9997, 515000
;var(16):= 9997, 515000
;var(17):= 580000
;var(18):= 3200
;var(20):= 3503, 9997, 515000
;var(21):= 3503
;var(22):= 3503, 3520, 3530
;var(24):= -2
;var(28):= -2
;var(29):= -2
;var(35):= 10003, -2, 52
;var(36):= -2, -3, 40, 52
;var(37):= -2
;var(42):= 313102, 4275634
;var(43):= -2, 4275634
;var(44):= -2
;var(45):= -2
;var(46):= -2
;var(52):= 13101, 313100
;var(53):= -3, 1000, 1010
;var(54):= -2, -3
;var(55):= -2, -3
;var(57):= -3
;var(58):= -3
;var(59):= -3

;---------------------- Float variable list ----------------------

; fvar(2):= 5300
;fvar(18):= 1040